Definitions | t T, x:A. B(x), Outcome, , {x:A| B(x)} , x:A B(x), f(a), x(s), #$n, {i..j }, Type, FinProbSpace, a < b, A B, x:A B(x), P & Q, i j < k, , Top, type List, P  Q, False, A, ||as||, Void, <a, b>, s = t, True, T, S T, suptype(S; T), , ,   , A B, x,y:A//B(x;y), if b then t else f fi , EquivRel(T;x,y.E(x;y)), tt, qeq(r;s), ,  x,y. t(x;y),  x. t(x), a j < b. E(j), x.A(x), RandomVariable(p;n), rv-partial-sum(n;i.X(i)) |